The Modular Homology of Inclusion Maps and Group Actions

arising from . We introduce the notion of p-exactness for a sequence and show that any interval of (*) not including Mn 2 or Mn+1 2 respectively, is p-exact for any prime p>0. This result can be extended to various submodules and quotient modules, and we give general constructions for permutation groups on 0 of order not divisible by p. If an interval of (*) , or an equivalent sequence arising from a permutation group on 0, does include the middle term then proper homologies can occur. In these cases we have determined all corresponding Betti numbers. A further application are p-rank formulae for orbit inclusion matrices. 1996 Academic Press, Inc.